Search | Engineering

订阅投稿

首页工程期刊工程焦点工程成就工程前沿关于我们 English

资源类型

期刊论文 4

年份

2020 1

2019 1

2017 1

2003 1

关键词

人工神经网络 1

全球定位系统 1

发展 1

安全关键系统；无人机；软件架构；形式化验证 1

应用 1

支持向量机 1

无人作战飞机 1

无人机 1

无人机遥感 1

松材线虫病 1

靶机 1

展开︾

检索范围：

排序：展示方式：

Multi-stage emergency medicine logistics system optimization based on survival probability

Ke WANG, Yixin LIANG, Lindu ZHAO

《工程管理前沿（英文）》 2017年第4卷第2期页码 221-228 doi: 10.15302/J-FEM-2017020

摘要： Using sudden cardiac deaths as an example and maximizing survival rate as the goal, this paper studies the influence of multi-stage medical logistics system optimization on the survival rate of sudden illness. A distribution model of survival is built, drone and ambulance arrival probability over time are discussed, a formula is proposed for maximum possible survival rate based on the probability of emergency medical logistics reaching the patient, and the results are analyzed using empirical data fitting distribution and numerical experiments performed with the model. The model is discussed as a reference point for management decision making by changing model parameters. Results show that compared to using current ambulance vehicles, ambulance drones delivering medical equipment for first aid on-site in emergencies can significantly increase survival rate, and the effect of collaborative multi-stage logistics optimization is better than that of any single stage logistics response optimization. Simulation results show that the medical rescue logistics service radius, speed, loading capacity and performance of ambulance drones impact the probability of survival, and there is an optimal service radius depending on the shape of probability distribution, which provides new information for management decisions.

关键词： emergency medicine logistics ambulance drone survival probability critical illness

HTML PDF 收藏

针对无人机系统安全的新型层级式软件架构 Special Feature on Intelligent Robats

Xiao-rui ZHU, Chen LIANG, Zhen-guo YIN, Zhong SHAO, Meng-qi LIU, Hao CHEN

《信息与电子工程前沿（英文）》 2019年第20卷第3期页码 353-362 doi: 10.1631/FITEE.1800636

摘要：提出一种覆盖底层源代码到上层用户任务代码的新型层级式软件架构，用于提高无人机系统安全性与可靠性。每个软件模块采用形式化验证方法，验证其源代码是否符合设计规范，软件模块基于经过形式化验证的操作系统内核（certified kit operating system，CertiKOS），防止无人机由于意外软件故障而坠毁。考虑到无人机的机载传感器会对系统可靠性产生显著影响，对驱动传感器SPI总线与I2C总线形式化验证，并针对总线异常情况设计完成相关实验。实验结果表明，该软件架构能够有效提高无人机系统安全性与可靠性。

关键词：安全关键系统；无人机；软件架构；形式化验证

HTML PDF 收藏

基于人工智能技术的无人机遥感探测具有感染松材线虫病特征的树木 Article

Mutiara Syifa, Sung-Jae Park, Chang-Wook Lee

《工程（英文）》 2020年第6卷第8期页码 919-926 doi: 10.1016/j.eng.2020.07.001

摘要：

最近，松材线虫病（PWD）导致韩国大量的松树受损。鉴于松树对于韩国人的重要性，PWD被视为一个严重的问题，因此必须妥善处理这个问题。先前我们调查了PWD的历史，发现它已扩散到韩国的一些地区，这些成为了我们的研究领域。必须尽早对PWD进行检测。我们利用无人机遥感技术来探测具有与感染松材线虫病的树木相似症状的树木。之所以使用无人机遥感，是因为它能够生成高质量的图像，并且可以很容易地到达松树的位置。为了区别健康的和感染了PWD的松树，我们利用从Anbi和Wonchang两村采集到的无人机图像制作了一份土地覆盖图（LC），使用两种方法将它们分类，即人工神经网络（ANN）和支持向量机（SVM）。此外，比较了使用无人机和手持设备收集的两类全球定位系统（GPS）数据的准确性，以确定感染PWD的树木的位置。随后，我们将每个研究区域的无人机图像分成6个LC类，发现SVM在区分是否感染PWD的树木时比ANN更准确。在Anbi村，SVM的总体准确率为94.13%，与ANN总体准确率87.43%相比，高出了6.7%。在Wonchang村我们也得到了相似的结果，SVM和ANN的准确率分别为86.59%和79.33%。在GPS数据方面，我们使用了两种手持GPS设备。GPS设备1参照两个位置的基准点来校正，GPS设备2为未校正设备，仅使用GPS的默认设置。在Wonchang，手持GPS设备1采集的数据优于手持GPS设备2。然而，在Anbi，GPS设备2获得的结果优于GPS设备1获得的结果：GPS设备1的数据误差为7.08 m，而GPS设备2的数据误差为0.14 m。总的来说，这两种分类器都能根据LC数据辨别健康树木和患有PWD的树木。LC数据也可以用于其他类型的分类。这两个区域的手持GPS数据集和无人机GPS数据集存在一些差异。

关键词：松材线虫病无人机遥感人工神经网络支持向量机全球定位系统

HTML PDF 收藏

大型无人机系列的研制与发展

赵煦

《中国工程科学》 2003年第5卷第1期页码 38-41

摘要：

文章全面介绍了我国大型模拟型靶机、实体型靶机及某型无人机的研制、发展历程，阐述了各型靶机(或无人机)的主要技术难点和关键技术。通过对各型无人机发展历程的阐述，说明了一个道理：我国无人机的发展，走的是一条自力更生、独立自主的道路；只有走自己的路，道路才越走越宽广。同时，对未来我国无人作战飞机的作用、地位与发展进行了预测、分析和规划。

关键词：靶机无人机无人作战飞机发展应用